perm filename IDEAS[W85,JMC]1 blob sn#787260 filedate 1985-02-24 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ideas[w85,jmc]	
C00003 ENDMK
CāŠ—;
ideas[w85,jmc]	

1. I had thought that circumscribing  ab  could not delimit the
achievement of goals to those that can be shown to be achievable
with the axioms.  However, provided we reify the goals we can
do it.  We merely use an axiom

achievable(g,s) āŠƒ ab aspect77(g,s).